A note on Robinson consistency lemma
نویسندگان
چکیده
Since A. Robinson’s work, this result has been shown valid for a large class of logic and recently has received generalizations in institutions [8]. One of the main reason why a logic should have RCP is because of “modular theory building”. Indeed, RCP has been shown to be equivalent to Craig’s interpolation property (CIP), and CIP is strongly connected to modularity in specification theory [2, 5, 6, 7, 12, 13].
منابع مشابه
A Note on the Consistency and Stability Properties of Yosida Fractional Step Schemes for the Unsteady Stokes Equations
In this short note we give some improvements to the stability and consistency analysis of algebraic splitting methods for solving the incompressible fluid equations carried out in [1]. In particular, we generalize to any value of the approximation index p ∈ N Proposition 3.1 and Lemma 3.2 of [1] on the consistency error associated with the algebraic splitting, originally proved for p = 0, 1, 2....
متن کاملA simple proof of Zariski's Lemma
Our aim in this very short note is to show that the proof of the following well-known fundamental lemma of Zariski follows from an argument similar to the proof of the fact that the rational field $mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.
متن کاملSustainability, exemption, and the constrained equal awards rule: a note
We consider the problem of distributing the liquidation value of a bankrupt firm among its creditors. Herrero and Villar [TOP 10 (2002) 261; Mathematical Social Sciences 42 (2001) 307] show that (i) the constrained equal awards rule is the only rule satisfying sustainability and composition down, and that (ii) it is the only rule satisfying exemption, composition down, and bilateral consistency...
متن کاملPrediction of Gas Hydrate Formation using HYSYS Software (TECHNICAL NOTE)
Gas hydrates attracted worldwide attention due to their potential as huge energy resource in the recent decades. Effective parameters which influence the formation of hydrates are high pressure, low temperature and water presence. HYSYS software is one of the major simulators which are widely used in the chemical and thermodynamic processes. This research was conducted to simulate gas hydrate f...
متن کاملA note on kernels and Sperner's Lemma
The kernel-solvability of perfect graphs was first proved by Boros and Gurvich, and later Aharoni andHolzmangave a shorter proof. Bothproofswere based on Scarf’s Lemma. In this note we show that a very simple proof can be given using a polyhedral version of Sperner’s Lemma. In addition, we extend the Boros–Gurvich theorem to h-perfect graphs and to a more general setting. © 2009 Elsevier B.V. A...
متن کامل